$\vdash$  $\forall$$b$:$\mathbb{B}$. ($\uparrow$$b$) $\in$ $\mathbb{P}_{1}$